Bump the production group across 1 directory with 3 updates · MiniZinc/minizinc-playground@94b08c0

Triggered via push April 28, 2025 11:29

Status Success

Total duration 45s

Artifacts 1

gh-pages.yml

on: push

Matrix: build-for-deployment

Produced during runtime

Name	Size	Digest
playground	363 KB	`sha256:5f943438d9f9d0d7595898451261ff0796d6eb32eac4b823994bb998daf2bcbe`